Added instance_id(Obj) to Prolog arith expressions