Adding instructions for entity generation and BV constraints