Adding dynamic wrapper for calling private static members and hiding LastConfigurationResult static propery + new code-contract generic method for Assumes