return new int[]{PUSH_DOWN_ACTION, NO_ACTION}; else return new int[]{PUSH_DOWN_ACTION, PUSH_ABSTRACT_ACTION, NO_ACTION};
return new int[] { PUSH_DOWN_ACTION, NO_ACTION};  return new int[] { PUSH_DOWN_ACTION, PUSH_ABSTRACT_ACTION, NO_ACTION};
		public int[] getAvailableActions(){			if (isFieldInfo())				return new int[]{PUSH_DOWN_ACTION, NO_ACTION};			else				return new int[]{PUSH_DOWN_ACTION, PUSH_ABSTRACT_ACTION, NO_ACTION};		}