AST for IMP with procedures