Generating the compiled file initialization goal only requires removing redundant calls to `true/0`