import GCLUtils (parseGCLfile)

data ExecutionTree = ExecutionTree  Statement [ExecutionTree]

data Statement = Skip | Assert Expr | Assume Expr | Assign String | IfThenElse Expr 


buildExecutionTree :: Program -> ExecutionTree
buildExecutionTree = undefined