updates in repair model generator: possibility of flp check under varying ABox is realised