Verify Correctness of User-Specified Interactive Preference
check_interactive(interactive)
interactive
Logical. Should program be run interactively?