fix facts declarations in spec tests to pass codesmell