add an Rvalue for is_val_statically_known and use it in MIR optimization

add an Rvalue for is_val_statically_known and use it in MIR optimization #175802