sc_machine extension for scp-programs verification