refactored Program for asserting