small changes to all-on-one, added basic property checker