pub fn process_property<M: FullMachine>( machine: &IMachine, property: &str, ) -> Result<IProperty, Errors>