Implemented functions for access to Properties and InstanceSpecifications
0- and 1- arity predicate translation of initial state.