ProcDeclaration skips mapping for prolog when no prolog is added