add another missing open printTheory
fix for changed location of remove_count_def