added gcd(long, long) properties and ICTs