An output instruction based plc source code transformation approach for program logic simplification