Unbreak TcNullaryTC testcase, by using MPTC