Compiles the pan source into the model checker. There must be source code files for this to work. @param process @return @throws IOException @throws InterruptedException @throws TimeoutException
(MCProcess process)
source not stored for this graph (policy: none)