CSPMTypeChecker: Reduce code duplication amongst the type checking for replicated operators. Also, correct the handling of stmts and fields to prohibit expressions like P = c!x?x:A -> STOP (i.e. where x is not bound until a later stmt.
CSPMTypeChecker: Reduce code duplication amongst the type checking for replicated operators. Also, correct the handling of stmts and fields to prohibit expressions like P = c!x?x:A -> STOP (i.e. where x is not bound until a later stmt.
sashabu/libcspm