Towards Interesting Patterns of Hard CSPs with Functional Constraints