modified get constraints to have declarations and assertions

modified get constraints to have declarations and assertions #202