[BUG] canProcess and tracksIdentifier methods should check each type one by one without relying on getDynamicTypemethod

[VincenzoArceri]

Description
canProcess and tracksIdentifier methods should check each type one by one without relying on getDynamicTypemethod for deciding whether a certain identifier or expression can be tracked or processed by a domain. Let's consider the canProcess method of the BaseNonRelationalValueDomain class:

public boolean canProcess(SymbolicExpression expression) {
	return !expression.getDynamicType().isPointerType() && !expression.getDynamicType().isInMemoryType();
}

If the runtime types of expression are two different pointer types, canProcess method returns true, while it should return false