add check_ivm_restriction func

[thoshiai]

正常系、および異常系(副問合せ、集約を含む)の動作ぐらいまでは確認したβ版です。