Enable to handle implicit touch operation for empty rule.
Enable PNML compiler to compile parameters.
Fixed errors about constraint nodes.