TRIV: Ignore Python bytecode pyc files
print_support() for listing bitvectors on which BDD evaluates to true