Class ErlangProperCodegen