more tests, about P.define() & P.generator() mainly