PermCheck use less code in specification
FrogRiverOne