modify isCompatibe method

[Cheng-017]

commit bf86cec

1.MethodInputs.java
Restoration restrictions

2.ObservedConstant.java
modify isCompatible method

• If the value type is compatible with the observed constant type，force constant type to value type
• If the value type is correlated with the observed constant type, force constant type to value type
  Testcase:SmartSeedRuntimeTest.testStringCorrelationOn,SmartSeedRuntimeTest.testStringContainCharOn

3.SeedingApplicationEvaluator.java
modify updateTestSeedWithConstantAssignment method

• If isCompatible method is true, set the statement value with constant value(L417-425)
  Testcase:SmartSeedRuntimeTest.testStringCorrelationOn,SmartSeedRuntimeTest.testStringContainCharOn

4.SensitivityMutator.java
fitness value > 1

• Confirm that the fitness value is less than 1 after constructDifficultObjectStatement(L188-198,L255-263)
• Confirm that the fitness value is less than 1 after modifying the test0(L244-251)
  Testcase:SmartSeedRuntimeTest.testNoPoolOn

5.ConstructionPathSynthesizer.java
Can be ignored, no need to modify