Updated check_example.vhd with how impure functions can be handled when using check_relation.