Added option for adding guessing in constraint options as command line argument