Implements rule checking on program start